Перевод: со всех языков на английский

с английского на все языки

external logic

  • 1 Logic

       My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)
       I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)
       To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)
       We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)
       There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)
       [L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)
       There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)
       The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)

    Historical dictionary of quotations in cognitive science > Logic

  • 2 external strength

    логическая сила, приписываемая узлу, подключённому к внешнему входу либо к потенциалу земли или питания; см. также force strength; logic strength

    Англо-русский словарь промышленной и научной лексики > external strength

  • 3 внешняя логика

    Русско-английский научно-технический словарь Масловского > внешняя логика

  • 4 внешняя логика

    1) Mathematics: external logic
    2) Programming: (представительная) external logic

    Универсальный русско-английский словарь > внешняя логика

  • 5 внешняя (представительная) логика

    Programming: external logic

    Универсальный русско-английский словарь > внешняя (представительная) логика

  • 6 представительная логика

    Programming: external logic

    Универсальный русско-английский словарь > представительная логика

  • 7 äußere Logik

    Logik f: äußere Logik f external logic

    Deutsch-Englisch Wörterbuch der Elektrotechnik und Elektronik > äußere Logik

  • 8 operador

    adj.
    operating.
    m.
    1 operator.
    2 laborer, workman, workingman, worker.
    3 trader.
    * * *
    ► nombre masculino,nombre femenino
    1 (telefónico) operator
    2 CINEMATOGRAFÍA (de cámara - hombre) cameraman; (- mujer) camerawoman; (- de proyector) projectionist
    3 TÉCNICA operator
    4 FINANZAS trader
    \
    operador turístico tour operator
    ————————
    1 MATEMÁTICAS (signo) operator
    * * *
    operador, -a
    SM / F [gen] operator; (Med) surgeon; (Cine) [de rodaje] cameraman/camerawoman; [de proyección] projectionist

    operador(a) de cabina — projectionist, operator

    operador(a) de grúa — crane operator, winchman

    operador(a) del telégrafo — LAm telegraph operator

    operador(a) turístico/a — tour operator

    * * *
    - dora masculino, femenino
    a) (Inf, Tec, Telec) operator
    b) (Cin, TV) ( de cámara) (m) cameraman; (f) camerawoman; ( de proyección) projectionist
    c) (Méx) ( obrero) operario
    * * *
    = connector, keyboard operator, operator, operator, keyboarder.
    Ex. You can combine any of the types of search requests using the operators or connectors: and, or, not, with, and near.
    Ex. Whether entries are to be typed and directly duplicated or put into a computerized information-retrieval system they must be easily transcribed by the keyboard operator.
    Ex. Each operator has a filing value which has been designate in order to ensure that terms appear in the index string in an order that will produce a meaningful set of index entries.
    Ex. If ammonia gas is used, care must be taken to duct the gas through an external ventilator to prevent the operator being overcome by fumes.
    Ex. With the searcher as keyboarder, the client need not master the computer system, and both client and searcher can concentrate upon what is happening, not how.
    ----
    * asistido por operador = operator-assisted.
    * a través de operador = operator-assisted.
    * hacer una búsqueda mediante el operador O = OR together.
    * hacer una búsqueda mediante el operador Y = AND together.
    * operador booleano = Boolean operator.
    * operador de bolsa = trader, market trader, stock market trader, share market trader.
    * operador de cine = projectionist.
    * operador de función = role.
    * operador de grúa = crane operator, crane driver.
    * operador de limitación = limit operator.
    * operador de lógica booleana = Boolean logic operator.
    * operador de proximidad = adjacency command, proximity operator, adjacency operator.
    * operador de radio = radio operator.
    * operador de relación = link, relational operator, linking device.
    * operador de terminal = terminal operator.
    * operador (F) = (F) operator.
    * operador informático = computer operator.
    * operador (L) = (L) operator.
    * operador lógico = logic operator, logical operator.
    * operador (N) = (N) operator.
    * operador (S) = (S) operator.
    * operador turístico = tour operator.
    * operador (W) = (W) operator.
    * * *
    - dora masculino, femenino
    a) (Inf, Tec, Telec) operator
    b) (Cin, TV) ( de cámara) (m) cameraman; (f) camerawoman; ( de proyección) projectionist
    c) (Méx) ( obrero) operario
    * * *
    = connector, keyboard operator, operator, operator, keyboarder.

    Ex: You can combine any of the types of search requests using the operators or connectors: and, or, not, with, and near.

    Ex: Whether entries are to be typed and directly duplicated or put into a computerized information-retrieval system they must be easily transcribed by the keyboard operator.
    Ex: Each operator has a filing value which has been designate in order to ensure that terms appear in the index string in an order that will produce a meaningful set of index entries.
    Ex: If ammonia gas is used, care must be taken to duct the gas through an external ventilator to prevent the operator being overcome by fumes.
    Ex: With the searcher as keyboarder, the client need not master the computer system, and both client and searcher can concentrate upon what is happening, not how.
    * asistido por operador = operator-assisted.
    * a través de operador = operator-assisted.
    * hacer una búsqueda mediante el operador O = OR together.
    * hacer una búsqueda mediante el operador Y = AND together.
    * operador booleano = Boolean operator.
    * operador de bolsa = trader, market trader, stock market trader, share market trader.
    * operador de cine = projectionist.
    * operador de función = role.
    * operador de grúa = crane operator, crane driver.
    * operador de limitación = limit operator.
    * operador de lógica booleana = Boolean logic operator.
    * operador de proximidad = adjacency command, proximity operator, adjacency operator.
    * operador de radio = radio operator.
    * operador de relación = link, relational operator, linking device.
    * operador de terminal = terminal operator.
    * operador (F) = (F) operator.
    * operador informático = computer operator.
    * operador (L) = (L) operator.
    * operador lógico = logic operator, logical operator.
    * operador (N) = (N) operator.
    * operador (S) = (S) operator.
    * operador turístico = tour operator.
    * operador (W) = (W) operator.

    * * *
    masculine, feminine
    1 ( Telec) operator
    2 ( Cin, TV) (de una cámara) ( masculine) cameraman; ( feminine) camerawoman; (de proyección) projectionist
    3 ( Inf, Tec) operator
    4 (Chi, Méx) (obrero) operario
    5 ( Fin) trader
    Compuestos:
    ● operador cambiario, operadora cambiaria
    masculine, feminine foreign exchange dealer
    ● operador de consola, operadora de consola
    masculine, feminine keyboarder
    masculine tour operator
    * * *

    operador
    ◊ - dora sustantivo masculino, femenino

    a) (Inf, Tec, Telec) operator

    b) (Cin, TV) ( de cámara) (m) cameraman;

    (f) camerawoman;
    ( de proyección) projectionist
    c) (Chi, Méx) ( obrero) See also→ operario

    d)


    operador,-ora sustantivo masculino y femenino
    1 (de una máquina) operator
    2 Cine (de una cámara) (hombre) cameraman, (mujer) camerawoman
    (de un proyector) projectionist
    3 Tel operator
    ' operador' also found in these entries:
    Spanish:
    operadora
    - maquinista
    English:
    mixer
    - operator
    - tour operator
    * * *
    operador, -ora
    ♦ nm,f
    1. Informát operator
    operador del sistema SYSOP, systems operator
    2. Tel operator
    3. Cine & TV [de la cámara] cameraman, f camerawoman;
    [del proyector] projectionist;
    un operador de sonido a sound engineer
    4. [de una máquina] operator
    ♦ nm
    1. [empresa] operador turístico tour operator
    2. Mat operator
    operador lógico logical operator
    * * *
    m, operadora f TELEC, INFOR operator
    * * *
    1) : operator
    2) : cameraman, projectionist
    * * *

    Spanish-English dictionary > operador

  • 9 en realidad

    actually, in fact
    * * *
    = actually, as a matter of fact, in fact, in reality, in truth, to all intents and purposes, in point of fact, in actuality, in a very real sense, in actual practice, in actual fact, for all intents and purposes, for that matter, if the truth be known, if the truth be told, in all truth, in all reality
    Ex. Dr. Richmond actually has had two careers.
    Ex. As a matter of fact, the record of the change is retained in at least the OCLC files and is, I am told, available to libraries.
    Ex. However, one important feature to note about such systems is that many of them do not in fact organise knowledge or retrieve information.
    Ex. In reality the extent of integration for catalogue entries for different media depends on administrative considerations, such as which section of the library is responsible for the compilation of catalogues for the various media.
    Ex. But why had he said he offered to do the work for the superintendent when in truth she had initiated the request?.
    Ex. To all intents and purposes he is unaware of its existence.
    Ex. In point of fact, I am well aware that catalogers, as a group, resist with every cell in their bodies any attempt to erode or degrade or compromise the catalog.
    Ex. In actuality every librarian has a different concept of ephemeral materials.
    Ex. In a very real sense, library administration is only an extension of public administration.
    Ex. The supervisor in actual practice receives information not only from subordinates, but from superiors and from external sources.
    Ex. Despite carefully framed acquistions policy statements regarding fiction in actual fact libraries allocate only a small percentage of their meagre book funds to fiction.
    Ex. In the 20th century, the debate about weeding followed, for all intents and purposes, the contours of the controversy surrounding the Quincy Plan.
    Ex. A machine-readable national data base, or for that matter any catalog, should be capable of existing in time.
    Ex. If the truth be known, most successes are built on a multitude of failures.
    Ex. If the truth be told, both sides of the political spectrum suffer from those who operate on emotions rather than logic.
    Ex. In all truth, it must be said that this howling, hissing, foot-scraping body of young rapscallions found some cause for complaint.
    Ex. In all reality, the power now lies with serious buyers who know they have more room to negotiate when making offers.
    * * *
    = actually, as a matter of fact, in fact, in reality, in truth, to all intents and purposes, in point of fact, in actuality, in a very real sense, in actual practice, in actual fact, for all intents and purposes, for that matter, if the truth be known, if the truth be told, in all truth, in all reality

    Ex: Dr. Richmond actually has had two careers.

    Ex: As a matter of fact, the record of the change is retained in at least the OCLC files and is, I am told, available to libraries.
    Ex: However, one important feature to note about such systems is that many of them do not in fact organise knowledge or retrieve information.
    Ex: In reality the extent of integration for catalogue entries for different media depends on administrative considerations, such as which section of the library is responsible for the compilation of catalogues for the various media.
    Ex: But why had he said he offered to do the work for the superintendent when in truth she had initiated the request?.
    Ex: To all intents and purposes he is unaware of its existence.
    Ex: In point of fact, I am well aware that catalogers, as a group, resist with every cell in their bodies any attempt to erode or degrade or compromise the catalog.
    Ex: In actuality every librarian has a different concept of ephemeral materials.
    Ex: In a very real sense, library administration is only an extension of public administration.
    Ex: The supervisor in actual practice receives information not only from subordinates, but from superiors and from external sources.
    Ex: Despite carefully framed acquistions policy statements regarding fiction in actual fact libraries allocate only a small percentage of their meagre book funds to fiction.
    Ex: In the 20th century, the debate about weeding followed, for all intents and purposes, the contours of the controversy surrounding the Quincy Plan.
    Ex: A machine-readable national data base, or for that matter any catalog, should be capable of existing in time.
    Ex: If the truth be known, most successes are built on a multitude of failures.
    Ex: If the truth be told, both sides of the political spectrum suffer from those who operate on emotions rather than logic.
    Ex: In all truth, it must be said that this howling, hissing, foot-scraping body of young rapscallions found some cause for complaint.
    Ex: In all reality, the power now lies with serious buyers who know they have more room to negotiate when making offers.

    Spanish-English dictionary > en realidad

  • 10 устройство

    attachment, apparatus, arrangement, assembly, device, element, facility, machine, gear, mean, project, rig, setup, station, structure, system, technology, unit, widget
    * * *
    устро́йство с.
    1. (приспособление, механизм и т. п.) apparatus, arrangement device, equipment, facility, means, gear
    2. (конструкция, расположение) arrangement, design
    благодаря́ тако́му устро́йству … — by this arrangement, …
    устро́йство авари́йной сигнализа́ции — alarm (device)
    устро́йство автомати́ческого выра́внивания с.-х. — self-levelling device
    автоно́мное устро́йство — self-contained unit
    автосцепно́е устро́йство — automatic coupler equipment
    амортизи́рующее устро́йство — shock absorber
    анало́говое устро́йство — analog device
    анало́говое, вычисли́тельное устро́йство — analog computing device
    анте́нное устро́йство (собственно антенна, привод и опора) — scanner (assembly)
    устро́йство АПВ эл. — automatic (circuit) recloser (см. тж. АПВ)
    арифмети́ческое устро́йство вчт. — arithmetic unit
    ба́зовое устро́йство ( в приборах со сменными блоками втычного типа) — mainframe
    балансиро́вочное устро́йство — balancer
    блоки́рующее устро́йство — interlock
    бры́згальное устро́йство — spraying device
    буквопеча́тающее устро́йство — полигр. character printing device; вчт. alphabetic printer
    букси́рное устро́йство — towing arrangement, towing gear
    бу́ферное устро́йство — buffer (unit)
    валоповоро́тное устро́йство — barring [jacking, shaft-turning] gear
    устро́йство вво́да — вчт. input device, input unit, input reader; ( перфокарточное) card reader
    устро́йство вво́да-вы́вода вчт. — input-output [I/ O] device
    взве́шивающее устро́йство — weigher
    видеоконтро́льное устро́йство [ВКУ] — picture monitor
    визи́рное устро́йство кфт. — finder system
    визи́рное, зерка́льное беспаралла́ксное устро́йство кфт. — (through-the-lens) reflex view-finder system
    вне́шние устро́йства вчт. — peripheral equipment
    водозабо́рное устро́йство — water intake
    водозабо́рное, высоконапо́рное устро́йство — high-pressure water intake
    водозабо́рное, низконапо́рное устро́йство — low-pressure water intake
    водоотво́дное устро́йство — drainage facility
    воздухоспускно́е устро́йство — air bleeder
    встря́хивающее устро́йство ( в пылевых фильтрах) — rapping gear
    входно́е устро́йство — input device, input unit
    устро́йство вы́вода — вчт. output device, output unit; ( с записью) output writer; ( с печатью) output printer; ( перфокарточное) (output) card punch
    выводно́е устро́йство полигр. — sheet delivery apparatus, delivery unit
    выпрямля́ющее устро́йство — rectifier (unit)
    вытяжно́е устро́йство — exhaust system
    вычисли́тельное устро́йство — computer, computing device
    вычисли́тельное, навигацио́нное устро́йство — navigation [flight] computer
    газоочистно́е устро́йство — gas-cleaning system, gas scrubber
    грузово́е устро́йство мор. — cargo(-handling) gear
    грузоподъё́мное устро́йство — hoisting apparatus, hoisting gear
    дальноме́рное устро́йство — distance-measuring device; ranging unit
    декоди́рующее устро́йство — decoder
    декомпрессио́нное устро́йство — decompressor
    демпфи́рующее устро́йство — damping device, damper; изм. dash-pot
    дифференци́рующее устро́йство вчт. — differential analyzer
    устро́йство для маркиро́вки проводо́в — wire-marking machine
    устро́йство для продо́льной ре́зки ле́нты полигр. — slitting machine
    дози́рующее устро́йство — metering device; (отвешивающее, отмеривающее и т. п.) measuring equipment
    дрена́жное устро́йство — drain(age) system
    дугогаси́тельное устро́йство эл. — arc control device
    забо́рное устро́йство — intake
    загру́зочное устро́йство — charging device
    задаю́щее устро́йство автмт. — reference-input element, reference-input unit, control-point setting device
    устро́йство заде́ржки — delay device
    зажи́мное устро́йство — clamping [holding] device
    заземля́ющее устро́йство — earthing [grounding] connection
    запомина́ющее устро́йство — вчт. storage, memory; брит. store
    выводи́ть из запомина́ющего устро́йства — retrieve from storage [from memory]
    засыла́ть в запомина́ющее устро́йство — transfer to [enter into] storage [memory]
    обраща́ться к запомина́ющему устро́йству — access, storage [memory]
    запомина́ющее, автоно́мное устро́йство — off-line storage, off-line memory
    запомина́ющее, ана́логовое устро́йство — analog storage, analog memory
    запомина́ющее, ассоциати́вное устро́йство — associative [content-addressable] memory
    запомина́ющее устро́йство без разруше́ния информа́ции (при счи́тывании) — nondestructive (read-out) storage, NDRO storage, nondestructive memory
    запомина́ющее, бу́ферное устро́йство — buffer storage, buffer memory
    запомина́ющее, быстроде́йствующее устро́йство — quick-access [rapid-access] storage, quick-access [rapid-access] memory
    запомина́ющее, вне́шнее устро́йство [ВЗУ] — external storage, external memory
    запомина́ющее, вну́треннее устро́йство — internal storage, internal memory
    запомина́ющее, вспомога́тельное устро́йство — auxiliary storage, auxiliary memory
    запомина́ющее, динами́ческое устро́йство — dynamic storage, dynamic memory
    запомина́ющее, долговре́менное устро́йство — permanent storage, permanent memory
    запомина́ющее, магни́тное устро́йство — magnetic storage, magnetic memory
    запомина́ющее, магнитострикцио́нное устро́йство — magnetostrictive (delay-line) storage, magnetostrictive (delay-line) memory
    запомина́ющее, ма́тричное устро́йство — matrix storage, matrix memory
    запомина́ющее устро́йство на бараба́нах — drum storage
    запомина́ющее устро́йство на ди́сках — disk storage, disk memory
    запомина́ющее устро́йство на ле́нтах — tape storage, tape memory
    запомина́ющее устро́йство на магни́тных ка́ртах — magnetic card storage, magnetic card memory
    запомина́ющее устро́йство на магни́тных плё́нках — magnetic-film storage, magnetic-film memory
    запомина́ющее устро́йство на магни́тных серде́чниках — magnetic-core storage, magnetic-core memory
    запомина́ющее устро́йство на перфоле́нтах — punch tape storage
    запомина́ющее устро́йство на три́ггерах — flip-flop storage, flip-flop memory
    запомина́ющее устро́йство на ферри́товых серде́чниках — (ferrite) core storage, (ferrite) core memory
    запомина́ющее устро́йство на электроннолучевы́х тру́бках — cathode-ray tube memory, cathode-ray tube storage
    запомина́ющее, односторо́ннее устро́йство — read-only memory, ROM
    запомина́ющее, операти́вное устро́йство — on-line storage, on-line memory
    запомина́ющее, опти́ческое устро́йство — optical storage, optical memory
    запомина́ющее, оптоэлектро́нное устро́йство — optoelectronic (data) storage, optoelectronic (data) memory
    запомина́ющее, после́довательное устро́йство — serial(-access) storage, serial(-access) memory
    запомина́ющее, постоя́нное устро́йство — permanent [fixed] storage, permanent [fixed] memory
    запомина́ющее, рабо́чее устро́йство — working storage, working memory
    запомина́ющее устро́йство с бы́строй вы́боркой — quick-access [rapid-access] memory
    запомина́ющее устро́йство с нестира́емой за́писью — nonerasable storage, nonerasable memory
    запомина́ющее устро́йство со стира́емой за́писью — erasable storage, erasable memory
    запомина́ющее устро́йство с поразря́дной вы́боркой — bit-organized memory
    запомина́ющее устро́йство с произво́льной вы́боркой — random access storage, random access memory
    запомина́ющее устро́йство с прямо́й вы́боркой ( слов или чисел) — word-organized [word-selection] storage, word-organized [word-selection] memory
    запомина́ющее устро́йство с разруше́нием информа́ции — volatile storage, volatile memory
    запомина́ющее устро́йство с совпаде́нием то́ков — coincident-current storage, coincident-current memory
    запомина́ющее устро́йство стати́ческого ти́па — static storage
    запомина́ющее устро́йство с центра́льным проце́ссором — on-line storage, on-line memory
    запомина́ющее, три́ггерное устро́йство — flip-flop storage, flip-flop memory
    запомина́ющее, цикли́ческое устро́йство — circulating [cyclic] storage, circulating [cyclic] memory
    запомина́ющее, электроннолучево́е устро́йство — cathode-ray tube memory
    заря́дное устро́йство — charging unit, charger
    заря́дное, аккумуля́торное устро́йство — battery charger
    защи́тное устро́йство — protection device; ( преимущественно механическое) safe-guard
    звукозапи́сывающее устро́йство — sound recorder
    золосмывно́е устро́йство — ash sluicing device
    золотопромы́вочное устро́йство — gold washer
    золоулови́тельное устро́йство — fly-ash collector
    измери́тельное устро́йство — measuring device
    индика́торное устро́йство рлк. — display unit, indicator (unit), (radar) scope
    интегри́рующее устро́йство — integrator
    ка́бельное устро́йство — cable (hauling) gear
    кернова́тельное устро́йство нефт. — catcher, (split-ring) core lifter, spring lifter, core gripper
    коди́рующее устро́йство — coding device, (en)coder
    колошнико́вое устро́йство — (blast-furnace) top arrangement
    колошнико́вое, загру́зочное устро́йство — top charging gear
    контро́льное устро́йство — monitor (ing device)
    концево́е, ка́бельное устро́йство — cable termination
    копирова́льное устро́йство ( пантограф) — pantograph
    корректи́рующее устро́йство
    1. автмт. compensator, compensating device, compensating network, equalizer
    предусма́тривать корректи́рующее устро́йство, напр. в цепи́ — use [place] a compensator around, e. g., a circuit
    2. полигр. error correcting device
    кра́новое устро́йство ( бурильной машины) — crown block
    ле́ерное устро́йство мор. — life lines, life rails
    лентопротя́жное устро́йство — tape transport, tape-moving device
    листовыводно́е устро́йство полигр. — sheet delivery apparatus
    листоотдели́тельное устро́йство полигр. — sheet-separating unit
    логи́ческое устро́йство — logic unit
    микрофо́нно-телефо́нное устро́йство — microphone-earphone device
    мно́жительно-дели́тельное устро́йство — multiplication-division unit
    мно́жительное устро́йство — multiplier unit
    модели́рующее устро́йство — simulator
    модели́рующее устро́йство в и́стинном масшта́бе вре́мени — real-time simulator
    набо́рное устро́йство ( телетайпа или стартстопного телеграфного аппарата) — selector mechanism
    нагру́зочное устро́йство — loading device
    нажимно́е устро́йство ( прокатного стана) — screw-down mechanism
    нака́тное устро́йство полигр. — inking unit
    накладно́е устро́йство полигр. — laying-in apparatus
    намо́точное устро́йство — coiler, winding machine
    натяжно́е устро́йство — ( для регулирования длины полосы) прок. bridle, bridling equipment; ( ременной или иной передачи) tensioning device; ( конвейера) take-up
    натяжно́е, винтово́е устро́йство — ( конвейера) screw take-up; ( ременной или иной передачи) screw tensioner
    натяжно́е, входно́е устро́йство прок. — entry bridle
    натяжно́е, выходно́е устро́йство прок. — exit bridle
    натяжно́е устро́йство цепно́й переда́чи — chain tightener
    устро́йство обега́ющего контро́ля — data logger
    устро́йство обрабо́тки да́нных — data processor
    устро́йство обрабо́тки информа́ции — data-processing unit
    оконе́чное устро́йство — terminal
    оповести́тельное устро́йство — annunciator
    опу́дривающее устро́йство пласт. — duster, powdering device
    ороси́тельное устро́йство — spraying device, spraying system
    освети́тельное устро́йство — lighting unit
    основно́е устро́йство вчт. — primary device
    отклоня́ющее устро́йство — deflector; (в осциллоскопах, кинескопах) deflection yoke
    отсо́сное устро́йство тепл. — aspirator
    паропромы́вочное устро́йство — steam washer, steam scrubber
    перегово́рное устро́йство — intercom, intercommunication(s) system, interphone system
    перегово́рное, самолё́тное устро́йство — (aircraft) intercommunication [interphone] system
    перезапи́сывающее устро́йство — transcriber
    переключа́ющее устро́йство — switching device
    переключа́ющее устро́йство регулиро́вки напряже́ния под нагру́зкой — on-load tap-changer
    петлево́е устро́йство прок. — looper
    печа́тающее устро́йство — printer
    печа́тающее, автоно́мное устро́йство — off-line printer
    печа́тающее устро́йство бараба́нного ти́па — drum-type printer
    печа́тающее, бу́квенно-цифрово́е устро́йство — alpha(nu)merical printer
    печа́тающее, выходно́е устро́йство — output printer
    печа́тающее устро́йство колё́сного ти́па — wheel printer
    печа́тающее, ма́тричное устро́йство — wire-matrix impact printer
    печа́тающее, неавтоно́мное устро́йство — on-line printer
    печа́тающее, операти́вное устро́йство ( работающее в системном режиме) — on-line printer
    печа́тающее, постро́чно устро́йство — line [line-at-a-time] printer
    печа́тающее, ротацио́нное устро́йство — on-the-fly printer
    печа́тающее, цепно́е устро́йство — chain printer
    печа́тающее, цифрово́е устро́йство — numeric(al) printer
    печа́тающее, шта́нговое устро́йство — bar printer
    печа́тающее, электромехани́ческое устро́йство — electromechanical printer
    печа́тающее, электро́нное устро́йство — electronic printer
    печа́тающее, электростати́ческое устро́йство — electrostatic printer
    пита́ющее устро́йство — feeding device, feeder
    погру́зочно-разгру́зочные устро́йства — handling facilities
    устро́йство подгото́вки входны́х да́нных вчт. — input preparation equipment
    подпи́точное устро́йство тепл. — make-up system
    подъё́мное устро́йство — hoisting equipment, hoisting gear
    предохрани́тельное устро́йство ( механического типа) — (safe) guard
    приводно́е устро́йство — drive
    противообледени́тельное устро́йство — ( предотвращающее образование льда) anti-icing device; ( удаляющее образовавшийся лёд) de-icer
    противоотма́рочное устро́йство полигр. — offset preventing unit
    противоперегру́зочное устро́йство ав. — anti-g device
    противопомпа́жное устро́йство — antisurge device
    противоуго́нное устро́йство — anti-theft device
    пусково́е устро́йство — starting device, starter
    путевы́е устро́йства — wayside apparatus, track arrangement
    радиопередаю́щее устро́йство — radio transmitter
    радиоприё́мное устро́йство — radio receiver
    развё́ртывающее устро́йство — scanner, scanning system
    развё́ртывающее устро́йство бараба́нного ти́па ( в фототелеграфии) — drum-type scanner
    развё́ртывающее устро́йство плоскостно́го ти́па ( в фототелеграфии) — flat-bed scanner
    развё́ртывающее устро́йство ти́па «бегу́щий луч» ( в фототелеграфии) — flying-spot scanner
    разгру́зочное устро́йство — unloading installation, discharging device
    раскатно́е устро́йство
    1. полигр. inker unit
    2. эл. reeling-out unit
    раска́точное устро́йство рез. — unwinding device
    устро́йство распознава́ния зна́ков — character recognition machine
    устро́йство распознава́ния о́бразов — pattern recognition machine
    распредели́тельное устро́йство эл. — switch-gear
    распредели́тельное, закры́тое устро́йство эл. — indoor switch-gear
    распредели́тельное, компле́ктное устро́йство эл. — factory-assembled switch-gear
    распредели́тельное, откры́тое устро́йство эл. — outdoor switch-gear
    распредели́тельное устро́йство сбо́рного ти́па эл. — cubicle-type switch-gear
    распы́ливающее устро́йство — sprayer unit
    рассти́лочное устро́йство с.-х. — spreading device
    расто́почное устро́йство — lighting-up equipment
    устро́йство регистра́ции произво́дственных да́нных — process data logger
    регули́рующее устро́йство — regulator [governor] device
    резе́рвное устро́йство — stand-by facility, back-up device
    рулево́е устро́йство мор. — steering gear
    рыбозащи́тное устро́йство — fish protection structure
    рыбопропускно́е устро́йство — fish pass
    устро́йство СДЦ с однокра́тным вычита́нием — single(-subtraction) canceller
    сма́зочное устро́йство — lubricator
    смеси́тельное устро́йство — mixing device, mixer
    согласу́ющее устро́йство — matching device
    спаса́тельное устро́йство мор. — life-saving appliance
    спусково́е устро́йство
    1. мор. launching arrangement
    2. кфт. (shutter) release
    сра́внивающее устро́йство — comparator
    ста́лкивающее устро́йство ( с конвейера) — tripper
    станцио́нные устро́йства — station accomodation, station facilities
    стира́ющее устро́йство — eraser
    сто́порное устро́йство ( сталеразливочного ковша) — stopper-rod device
    сужа́ющее устро́йство гидр. — restriction, contraction
    сумми́рующее устро́йство — ( аналоговое) summer, summator; ( цифровое) adder
    сцепно́е устро́йство — coupler
    счё́тно-реша́ющее устро́йство — computing device, computer
    счё́тно-реша́ющее, навигацио́нное устро́йство — navigation computer
    счи́тывающее устро́йство вчт. — reader, reading machine
    счи́тывающее, алфави́тно-цифрово́е устро́йство — alphanumeric reader
    счи́тывающее, опти́ческое устро́йство — optical reader
    счи́тывающее устро́йство, рабо́тающее с бума́жным носи́телем — paper reader
    счи́тывающее, фотоэлектри́ческое устро́йство — photoelectric reader
    счи́тывающее, электромехани́ческое устро́йство — electromechanical reader
    телеизмери́тельное устро́йство — telemetering device
    тормозно́е устро́йство ( для спуска судна на воду) — arresting [checking] arrangement
    транскоди́рующее устро́йство — transcoder
    тягодутьево́е устро́йство — draft system
    тя́нущее устро́йство ( волочильного стана) — draw-out equipment
    увлажни́тельное устро́йство лес. — humidifier
    устро́йство ультразвуково́й сва́рки — ultrasonic welding [bonding] machine
    уплотни́тельное устро́йство — sealing device
    устро́йство управле́ния — control unit
    устро́йство устано́вки нуля́ ( регулятора) — origin-shift device
    устано́вочное устро́йство — adjusting device, adjuster
    фазосдвига́ющее устро́йство — phase shifter
    фокуси́рующее устро́йство — focuser
    фотопеча́тающее устро́йство — photoprinter
    хрони́рующее устро́йство — timer, synchronizer
    цветодели́тельное устро́йство полигр. — colour separator
    цейтра́ферное устро́йство кфт. — time-lapse mechanism
    цепенатяжно́е устро́йство — chain tightener
    цифрово́е устро́йство — digital device
    чита́ющее устро́йство ( для чтения текстов) вчт. — reader, reading machine
    шварто́вное устро́йство — mooring gear, mooring arrangement
    шле́пперное устро́йство прок. — transfer arrangement
    шлю́почное устро́йство ( для спуска на воду) — boat(-handling) gear
    шумозащи́тное устро́йство на приё́м тлф. — receiving-and-antinoise device
    экипиро́вочное устро́йство ж.-д. — servicing facilities
    электро́нное устро́йство — electronic device
    электропрои́грывающее устро́йство («вертушка») — turntable
    я́корное устро́йство — anchor(-handling) gear
    я́корно-шварто́вное устро́йство — ground tackle

    Русско-английский политехнический словарь > устройство

  • 11 внешняя (представительная) логика функционального блока

    Programming: external function block logic

    Универсальный русско-английский словарь > внешняя (представительная) логика функционального блока

  • 12 внешняя (представительная) логика функционального блока IEC 61499

    Programming: external IEC 61499 function block logic

    Универсальный русско-английский словарь > внешняя (представительная) логика функционального блока IEC 61499

  • 13 внешняя логика функционального блока

    Programming: (представительная) external function block logic

    Универсальный русско-английский словарь > внешняя логика функционального блока

  • 14 внешняя логика функционального блока IEC 61499

    Programming: (представительная) external IEC 61499 function block logic

    Универсальный русско-английский словарь > внешняя логика функционального блока IEC 61499

  • 15 हेतुः _hētuḥ

    हेतुः [हि-तुन् Uṇ.1.73]
    1 Cause, reason, object, mo- tive; इति हेतुस्तदुद्भवे K. P.1; Māl.1.23; R.1.1; नीचैराख्यं गिरिमधिवसेस्तत्र विश्रामहेतोः Me.25; Ś.3.12.
    -2 Source, origin; स पिता पितरस्तासां केवलं जन्महेतवः R.1.24 'authors of their being'.
    -3 A means or instrument.
    -4 The logical reason, the reason for an inference, middle term (forming the second member of the five- membered syllogism).
    -5 Logic, science of reasoning.
    -6 Any logical proof or argument.
    -7 A rhetorical reason (regarded by some writers as a figure of speech); it is thus defined:-- हेताहतुमता सार्धमभेदो हेतुरुच्यते.
    -8 (In gram.) The agent of the causal verb; P.I.4.55.
    -9 (with Buddhists) Primary cause.
    -1 (with Pāśu- patas) The external world and senses (that cause the bondage of the soul).
    -11 Mode, manner.
    -12 Condi- tion.
    -13 Price, cost; दीन्नाराणां दशशती पञ्चाशदधिकाभवत् । धान्यखारीक्रये हेतुर्देशे दुर्भिक्षविक्षते Rāj. T.5.71. (N. B. The forms हेतुना, हेतोः, rarely हेतौ, are used adverbially in the sense of 'by reason of', 'on account of', 'because of', with gen. or in comp.; तमसा बहुरूपेण वेष्टिताः कर्महेतुना Ms. 1.49; शास्त्रविज्ञानहेतुना; अल्पस्य हेतोर्बहु हातुमिच्छन् R.2.47; विस्मृतं कस्य हेतोः Mu.1.1. &c.).
    -Comp. -अपदेशः ad- ducing the hetu (in the form of the five-membered syl- logism).
    -अवधारणम् (in dram.) reasoning.
    -आक्षेप (in Rhet.) an objection accompanied with reasons; न स्तूयसे नरेन्द्र त्वं ददासीति कदाचन । स्वमेव मत्वा गृह्णन्ति यतस्त्वद्धन- मर्थिनः ॥ इत्येवमादिराक्षेपो हेत्वाक्षेप इति स्मृतः । Kāv.2.167-168.
    -आभासः 'the semblance of a reason', a fallacious middle term, fallacy; (it is of five kinds:-- सव्यभिचार or अनैकान्तिक, विरुद्ध, असिद्ध, सत्प्रतिपक्ष and बाधित).
    -उत्प्रेक्षा, -उपमा a simile accompanied with reasons.
    -उपक्षेपः, -उपन्यासः adducing a reason, statement of an argu- ment.
    -कर्तृ m. the causal subject; याजयेदिति हेतुकर्तु रेवैतत् प्रत्यक्षं वचनम्, लक्षणया यजेः कर्तुः ŚB. on MS.1.8.39.
    -दुष्ट a. unreasonable.
    -दृष्टिः scepticism.
    -बलिक a. strong in argument.
    -युक्त a. well-founded.
    -रूपकम् a meta- phor accompanied with reasons.
    -वादः 1 disputation, controversy.
    -2 fraud (कपट); न हेतुवादाल्लोभाद्वा धर्मं जह्यां कथंचन Mb.5.91.24.
    -3 assigning a cause (sceptically); न यक्ष्यन्ति न होष्यन्ति हेतुवादविमोहिताः Mb.3.19.26.
    -वादिन् 1 a disputant.
    -2 a sceptic.
    -विशेषोक्तिः a mention of difference accompanied with reasons; एकचक्रो रथो यन्ता विकलो विषमा हयाः । आक्रामत्येव तेजस्वी तथाप्यर्को नभस्तलम् ॥ सैषा हेतुविशेषोक्तिस्तेजस्वीति विशेषणात् ॥ Kāv.2.328-329.
    -शास्त्रम् a logically-treated work, any beretical work questioning the authority of Smṛitis or revelation; यो$वमन्येत ते मूले हेतुशास्त्राश्रयाद् द्विजः Ms.2.11.
    -हेतुमत् m. du. cause and effect. ˚भावः the relation existing between cause and effect.

    Sanskrit-English dictionary > हेतुः _hētuḥ

  • 16 लिङ्गिन्


    liṅgin
    mfn. having a mark orﾠ sign, wearing a distinguishing mark;

    (ifc.) having the marks orﾠ appearance of, characterized by Mn. MBh. etc.;
    bearing false marks orﾠ signs, a hypocrite, (ifc.) only having the appearance orﾠ acting the part of ib. (cf. dvija-l-);
    having a right to wear signs orﾠ badges, one whose external appearance corresponds, with his inner character ib. ;
    having a subtle body BhP. ;
    m. a Brāhman of a partic. order, religious student, ascetic MBh. Kāv. etc.;
    pl. « possessing orﾠ furnished with a Liṇga»
    N. of a Ṡaiva sect ( seeﾠ liṅga-vat) Col.;
    « sustaining the Liṇga orﾠ Pradhāna»
    N. of Paramêṡvara LiṇgaP. ;
    (in logic) - vyāpaka, that which possesses an invariable characteristic mark (as in the proposition « there is fire because there is smoke», fire is the liṅgin;
    cf. IW. 62);
    original source orﾠ germ Kap. Sch. ;
    an elephant L. ;
    ( inī) f. a female ascetic Daṡar. ;
    a species of plant L.

    Sanskrit-English dictionary > लिङ्गिन्

  • 17 हेतु


    htú
    hetú
    m. « impulse», motive, cause, cause of, reason for (loc., rarely dat. orﾠ gen.;

    hetunā, hetoḥ, hetave, hetau, « for a cause orﾠ reason», « by reason of», « on account of» <with gen. orﾠ comp. e.g.. mamahetoḥ orﾠ mad-dhetoḥ, « on account of me» >;
    kaṉhetum orﾠ koheṭuḥ, « wherefore?», « why?» Pāṇ. 2-2, 23 Pat. ;
    yatohetoḥ, « because» ;
    anenahetunā orﾠ itihetoḥ, « for this reason» ;
    mṛityu-hetave, « in order to kill» ;
    heturalaukikaḥ, « a supernatural cause» ;
    ifc. hetu alsoﾠ = « having as a cause orﾠ motive», « caused orﾠ effected orﾠ actuated orﾠ attracted orﾠ impelled by» e.g.. karma-hetu, « caused by the acts < of a former existence>» Mn. I, 49 ;
    māṉsa-hetu, « attracted by < the smell of> flesh» MBh. X, 496 ;
    karma-phala-hetu, « impelled by < the expectation of> the consequences of any act» BhP. II, 47; 49) RV. etc.. etc.. ;
    a logical reason orﾠ dedaction orﾠ argument, the reason for an inference (esp. applied to the second member orﾠ Avayava of the five-membered syllogism seeﾠ nyāya) Nyāyad. IW. 61 ;
    logic (in general seeﾠ hetuvidyā);
    (in gram.) the agent of the causal verb Pāṇ. 1-4, 55 etc.. ;
    (with Buddhists) primary cause (as opp. to pratyaya q.v.) Sarvad. ;
    (with Paṡupatas) that which causes the bondage of the soul i.e. the external world andﾠ the senses ib. ;
    a means ( hetubhiḥ ifc. « by means of») MBh. ;
    mode, manner ( hetubhiḥ ifc. « according to») ib. Suṡr. Yājñ. ;
    price, cost Rājat. V, 71 ;
    condition MBh. ;
    (in rhet.) = kāvya-liṅga (q.v.) Bhar. Kpr. Sāh.

    Sanskrit-English dictionary > हेतु

  • 18 ह्तु


    htú
    hetú
    m. « impulse», motive, cause, cause of, reason for (loc., rarely dat. orﾠ gen.;

    hetunā, hetoḥ, hetave, hetau, « for a cause orﾠ reason», « by reason of», « on account of» <with gen. orﾠ comp. e.g.. mamahetoḥ orﾠ mad-dhetoḥ, « on account of me» >;
    kaṉhetum orﾠ koheṭuḥ, « wherefore?», « why?» Pāṇ. 2-2, 23 Pat. ;
    yatohetoḥ, « because» ;
    anenahetunā orﾠ itihetoḥ, « for this reason» ;
    mṛityu-hetave, « in order to kill» ;
    heturalaukikaḥ, « a supernatural cause» ;
    ifc. hetu alsoﾠ = « having as a cause orﾠ motive», « caused orﾠ effected orﾠ actuated orﾠ attracted orﾠ impelled by» e.g.. karma-hetu, « caused by the acts < of a former existence>» Mn. I, 49 ;
    māṉsa-hetu, « attracted by < the smell of> flesh» MBh. X, 496 ;
    karma-phala-hetu, « impelled by < the expectation of> the consequences of any act» BhP. II, 47; 49) RV. etc.. etc.. ;
    a logical reason orﾠ dedaction orﾠ argument, the reason for an inference (esp. applied to the second member orﾠ Avayava of the five-membered syllogism seeﾠ nyāya) Nyāyad. IW. 61 ;
    logic (in general seeﾠ hetuvidyā);
    (in gram.) the agent of the causal verb Pāṇ. 1-4, 55 etc.. ;
    (with Buddhists) primary cause (as opp. to pratyaya q.v.) Sarvad. ;
    (with Paṡupatas) that which causes the bondage of the soul i.e. the external world andﾠ the senses ib. ;
    a means ( hetubhiḥ ifc. « by means of») MBh. ;
    mode, manner ( hetubhiḥ ifc. « according to») ib. Suṡr. Yājñ. ;
    price, cost Rājat. V, 71 ;
    condition MBh. ;
    (in rhet.) = kāvya-liṅga (q.v.) Bhar. Kpr. Sāh.

    Sanskrit-English dictionary > ह्तु

  • 19 force strength

    логическая сила, приписываемая узлу, подключённому к внешнему входу либо к потенциалу земли или питания; см. external strength; logic strength

    Англо-русский словарь промышленной и научной лексики > force strength

См. также в других словарях:

  • Logic gate — A logic gate is an idealized or physical device implementing a Boolean function, that is, it performs a logical operation on one or more logic inputs and produces a single logic output. Depending on the context, the term may refer to an ideal… …   Wikipedia

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic     Logic      …   Catholic encyclopedia

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… …   Wikipedia

  • Logic Lane — looking towards the High, with the Durham Buildings on right …   Wikipedia

  • Logic analyzer — A logic analyzer is an electronic instrument which displays signals in a digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or correlate assembly with… …   Wikipedia

  • Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… …   Wikipedia

  • Logic of Empire — is a science fiction novella by Robert A. Heinlein. Part of his Future History series, it originally appeared in Astounding Science Fiction (March 1941), and was collected in The Green Hills of Earth (and subsequently The Past Through Tomorrow… …   Wikipedia

  • Logic Bomb (band) — Logic Bomb are Jonas Pettersson and Johan Krafft, a psychedelic trance project from Sweden, founded in 1998. Their biggest hit is arguably Ansi .Discography* Headware (Spiral Trax, 2000) * Unlimited (TIP World, 2002) * Sonic Algebra (Solstice… …   Wikipedia

  • Logic Programming Associates — is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN PROLOG. External links* [http://www.lpa.co.uk/ind pro.htm LPA home page] *… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»